Validated Special Functions Software
نویسندگان
چکیده
Because of the importance of special functions, several books and a large collection of papers have been devoted to the numerical computation of these functions, the most well-known being the NBS handbook by Abramowitz and Stegun. But up to this date, symbolic and numeric environments offer no routines for the validated evaluation of special functions. We point out how a provable correct function evaluation can be returned efficiently.
منابع مشابه
Unification of finite failure non-homogeneous Poisson process models through test coverage
A number of analytical software reliability models have been proposed for estimating the reliability growth of a software product. In this paper we present an Enhanced nonhomogeneous Poisson process (ENHPP) model and show that previously reported Non-Homogeneous Poisson Process (NHPP) based models, with bounded mean value functions, are special cases of the ENHPP model. The ENHPP model differs ...
متن کاملValidated Evaluation of Special Mathematical Functions
Because of the importance of special functions, several books and a large collection of papers have been devoted to the numerical computation of these functions, the most well-known being the Abramowitz and Stegun handbook [1]. But up to this date, no environment offers routines for the provable correct evaluation of these special functions. We point out how series and limit-periodic continued ...
متن کاملRecent software developments for special functions in the Santander-Amsterdam project
We give an overview of published algorithms by our group and of current activities and future plans. In particular, we give details on methods for computing special functions and discuss in detail two current lines of research. Firstly, we describe the recent developments for the computation of central and non-central χ-square cumulative distributions (also called Marcum Q−functions), and we pr...
متن کاملAPG: An Efficient Software Program for Amp-Pl Thermobarometry Based on Graphical Method
Geothermobarometry equations are based on thermodynamic principles and appear in single or multi-variant functions. The number of variants for a specific composition or reaction usually is reduced into 2 involving temperature (T) and pressure (P). Since most of planned equations have two passive or variant P and T, using these equations should be with special care. It is very effective to use g...
متن کاملA proposed software test service for special functions
This is a proposal to develop a software test service at the National Institute of Standards and Technology for use in testing the accuracy, or numerical precision, of mathematical software for special functions. The service would use the World Wide Web to receive test requests and return test results. The tests would be run on a network of workstations at the Institute. It is hoped that such a...
متن کامل